/*****************************************************
 * jr generated file
 ****************************************************/
import edu.ucdavis.jr.*;
import edu.ucdavis.jr.jrx.*;
import java.rmi.*;
import java.io.Serializable;


import edu.ucdavis.jr.*;
import java.util.*;

public class DebugUtil extends java.lang.Object {
    { JRinit(); }
    
    public DebugUtil() {
        super();
        JRprocess();
    }
    
    public static void out(String dStr, boolean newLine) {
        if (!PlainDiffusion.debug) // Return
        return;
        // End Return

        if (newLine) {
            System.out.println(dStr);
        } else {
            System.out.print(dStr);
        }
    }
    
    public static String df(double num) {
        String numStr = Double.toString(num);
        StringBuffer format = new StringBuffer("000000000000");
        numStr = (numStr.length() > 12) ? numStr.substring(0, 12) : numStr;
        format.replace(0, numStr.length(), numStr);
        // Return
        return format.toString();
        // End Return

    }
    
    public static String df(int num) {
        String numStr = Integer.toString(num);
        JRLoop0: for (int i = numStr.length(); i < 3; i++) {
            numStr = "0" + numStr;
        }
        // Return
        return numStr;
        // End Return

    }
    
    public static String df(boolean val) {
        String str = Boolean.toString(val).toUpperCase();
        StringBuffer format = new StringBuffer("     ");
        format.replace(0, str.length(), str);
        // Return
        return format.toString();
        // End Return

    }
    protected boolean JRcalled = false;
    protected JRDebugUtil jrresref;
    public Object JRgetjrresref()
    { try {return jrresref.clone(); } catch (Exception e) {/* not gonna happen */ return null; } }
    protected void JRinit() {
    	if(this.JRcalled) return;
    	jrresref = new JRDebugUtil();
    	this.JRcalled = true;
    }
    private boolean JRproc = false;
    private void JRprocess() {
    	if (JRproc) return;
    	JRproc = true;
    }
}
